Introspection and Projection in Reasoning about Other Agents Introspection and Projection in Reasoning about Other Agents
نویسنده
چکیده
This paper develops the formal aspects of a new apporach to reasoning about the knowledge of other agents. It is based on the principles of introspection, by which an agent is aware of the inferences he makes, and projection, by which an agent assumes that other agents have the same inference abilities as himself. The paper develops a logic that incorporates these principles and proves the soundness of such logic.
منابع مشابه
Introspection as Control in Result-Sharing Assumption-Based Reasoning Agents
Introspection refers to an agent’s knowledge of its own beliefs. In this paper we explore the use of introspection as a mechanism for control in result-sharing cooperative assumptionbased reasoning systems. Contrary to the current trend towards building agents with mechanisms for selective communication, our experiments indicate there exists an interesting class of cooperative distributed probl...
متن کاملTowards More Flexible and Common-Sense Reasoning About Beliefs
Some important research problems within reasoning about beliefs are how to deal with incomplete, inaccurate or uncertain beliefs, when to ascribe beliefs and how to make reasoning about beliefs more common-sensical. We present two systems that attack such problems. The first, called CaseMent, uses case-based reasoning to reason about beliefs. It appears that using cases as opposed to roles has ...
متن کاملTowards More Flexible and Common-Sensical Reasoning about Beliefs
Some important research problems within reasoning about beliefs are how to deal with incomplete, inaccurate or uncertain beliefs, when to ascribe beliefs and how to make reasoning about beliefs more common-sensical. We present two systems that attack such problems. The first, called CaseMent, uses case-based reasoning to reason about beliefs. It appears that using cases as opposed to rules has ...
متن کاملTractable Meta-Reasoning in Propositional Logics of Belief
Finding adequate semantic models of deductive reasoning is a difficult problem, if deductions are to be performed efficiently and in a semantically appropriate way. The model of reasoning provided by possible-worlds semantics has been found deficient both for computational and intuitive reasons. Existing semantic approaches that were proposed as alternatives to possible-worlds semantics either ...
متن کاملSelf-Correcting Unsound Reasoning Agents
This paper introduces a formal framework for relating learning and deduction in reasoning agents. Our goal is to capture imperfect reasoning as well as the progress, through introspection, towards a better reasoning ability. We capture the interleaving between these by a reasoning/deduction connection and we show how this—and related—definition apply to a setting in which agents are modeled by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993